Merge change I6f22b22e

* changes:
  Fixing BigDecimal.stripLeadingZeroes on "0e100", as discovered by jtreg.