i64 ^ f64 < f32
