max(f32) >= i64
