f64 / int(f32)
