Prevent getting Nat -> nat because of lower comparison