common-test: rounding is different between Java 6 and 7/8