Built-in Natural literals in Core