f16_add(0x0001, 0x0801) => 0x0801 gcc 12.2 same calculations in _Float16 shows 0x0802
f16_add(0x0001, 0x0801) => 0x0801
gcc 12.2 same calculations in _Float16 shows 0x0802