min(f32 / i64)
