i32 < 1 + 0.5
