min(f32 - i64)
