Hack to fix GCC/ICC rounding difference