i64 * 1 >= i32
