How about a "#_" prefix for numbers like this?  That would be unambiguous and easy to fit into existing parsers.