class Contracts::Builtin::NatPos

Check that an argument is a positive natural number (excludes zero).