__pragma fp_contract