Total order on Nat