natural package:base-prelude

Natural number Invariant: numbers <= 0xffffffffffffffff use the NS constructor