More numeric types
Merge pull request #14 from phadej/integer-nat

More numeric types