i64 + f64 == i32
