>>954
>>892 さんが調べてくれた。
true (nozero) という記述を見かけたそうだ。
真は非ゼロ。