12進数だと、1/3は0.4になるので割り切れると思うんだが、ちがうんだろうか?