prop_base10_roundtrip :: Integer -> Property
prop_base10_roundtrip n = n >= 0 ==> (undigits $ digits n) == n
prop_base10_roundtrip :: Integer -> Property
prop_base10_roundtrip n = n >= 0 ==> (undigits $ digits n) == n
prop_base10_roundtrip n = n >= 0 ==> (undigits $ digits n) == n