Implement is64BitFloatingPointEnabled().