void os::Linux::init_thread_fpu_state(void) {

  {- -------------------------------------------
  (1) x86_64 の場合には, 何もしない.

      x86_32 の場合には, set_fpu_control_word() を呼び出して 
      x87 の演算精度を 53bit にしておく.
      (0x27f は 53bit モードを意味する設定値. fldcw 命令が使用)
      ---------------------------------------- -}

    #ifndef AMD64
      // set fpu to 53 bit precision
      set_fpu_control_word(0x27f);
    #endif // !AMD64
    }