fix for subnormal to half-precision encoding