Page "1, 2), simplifying the second step of computing the fractional part.For any, there exists a unique integer such that, or equivalently. Now the integer part of the logarithm is simply, and the fractional part is. In other words:For normalized [floating-point" not found :(