Someone on irc was trying to format 1234 as "01234" and couldn't work
out how to get rid of the leading space - looking at the 8.3 docs it
looks as though the "FM" modifier isn't documented for numeric to_char.
So... should use of "FM" in numeric to_char() be documented in table
9-23, "Template Patterns for Numeric Formatting"?
It's included in the examples in 9-24, but doesn't seem to be
mentioned anywhere else. "FM" is listed in table 9-22, but that's for
"Date/Time Formatting", not numeric.
Cheers,
Steve
