0.5 * i32 < i32
