Implemented efficent natural numbers