double_from_bits 86 test/generator/float16_t_aottest.cpp double_from_bits(0x3f0ff80000000000), // 0x1.ff8000000000p-15, double_from_bits 87 test/generator/float16_t_aottest.cpp double_from_bits(0x3f0ff00000000000), // 0x1.ff0000000000p-15,