i64 * min(f32, 0.5)
