min(f32) < i64
