i * i32 <= i32
