*** old/src/share/vm/runtime/globals.cpp	Thu May 10 10:45:07 2012
--- new/src/share/vm/runtime/globals.cpp	Thu May 10 10:45:03 2012

*** 146,155 ****
--- 146,157 ----
      st->print("-XX:%s=" INTX_FORMAT, name, get_intx());
    } else if (is_uintx()) {
      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();
      if (cp != NULL) {
        // Need to turn embedded '\n's back into separate arguments