max(i64 * f32)
