AAC: IEEE-754 type punning for 16-bit floating point rounding.