Normalization of unnormalized zero