Thanks. However, normalization is a rather simple case and the solution you propose works as expected. I posit that most code performing floating point divisi

Thanks. However, normalization is a rather simple case and the solution you propose works as expected. I posit that most code performing floating point division doesn't check all corner cases correctly; those that do are codes written by people who worry about NaN and the correct type of Inf.