--- a/hotspot/src/share/vm/runtime/globals.cpp	Thu May 10 11:27:10 2012 +0200
+++ b/hotspot/src/share/vm/runtime/globals.cpp	Thu May 10 14:16:34 2012 +0200
@@ -148,6 +148,8 @@
     st->print("-XX:%s=" UINTX_FORMAT, name, get_uintx());
   } else if (is_uint64_t()) {
     st->print("-XX:%s=" UINT64_FORMAT, name, get_uint64_t());
+  } else if (is_double()) {
+    st->print("-XX:%s=%f", name, get_double());
   } else if (is_ccstr()) {
     st->print("-XX:%s=", name);
     const char* cp = get_ccstr();