f32 <= i32 + i32
