f32 / int(f64)
