Add clz and ctz back to randomizer
Fix a problem where the unnormalized significand can overflow and truncate upper bits
Properly (?) round post normalization