i > abs(i64)
