Printouts for floating point numbers in GNU Classpath differ from HotSpot

A Jikes RVM build with GNU Classpath has different (more precise) printouts for some floating point numbers compared to HotSpot or Jikes RVM with OpenJDK. This caused test failures for TestNullChecks_Resolved and some other tests on Jikes RVM with OpenJDK.