Implemented natural numbers