Added a unit test for the normalization of unnormalized zero