Sets double floating point precision for gcc-x86 platforms.