"fractional part" . . . "fractional part" .