i64 == abs(i32)
