[ros-diffs] [cwittich] 38930: trim leading zeros in GetNumberFormat patch by <zooba at aanet dot com dot au> See issue #3400 for more details.