Renamed 'literal natural' numbers.