i64 != f32 + f32
