fn main() {
    1.0f64 - 1.0;
    1.0f64 - 1 //~ ERROR E0277
}