i32 + i64 <= f32
