i >= min(f32 ^ i64)
