あーーーでも、端数切捨てにすると、やっぱり >>186 の問題が浮上してきやがる。
>>186 の提案もいいが、それだと 18.65 を端数切捨てで 18 と表示したいときに
19 と表示されてしまう。

どうしたもんだろ。