Using unsigned with natural_number. Added examples/demo_natnum.