i32 - 1 <= i64
