Renamed numeral