Started Arbitrary Nat for QuickCheck