JDK

[Fmt-De] DecimalFormat produces wrong format() results when close to a tie