This patches the number formatting in a bunch of classes to always output decimal symbols according to Locale.US
1. do we want this? we could also force people to just tell their JVM to run in Locale.US (or Locale.POSIX).
2. there are more classes that use DecimalFormat without Locale.US than the ones I fixed. would you also want those to be fixed?