x mod 1っていう表記もあるみたい。
modをそんなふうに使うのはちょっと驚き。