Add a setting for HighPrecisionFPU (fixes #763).