int(f32) / f32
