FPU_PC_DOUBLE      70 maint/gnulib/lib/fpucw.h # define FPU_PC_DOUBLE 0x200    /* glibc calls this _FPU_DOUBLE */
FPU_PC_DOUBLE      96 maint/gnulib/lib/fpucw.h # define FPU_PC_DOUBLE 0