prettyprinting fix for numeric literals