Commit Don's fix for highlighting certain numeric literals.