tree normalization assumes infinite precision integers