f32 <= -min(i64)
