float(i64) > f64 ^ f32
