fix error in the handling of subnormals