Magnitude of a normalized floating-point number

Magnitude of a normalized floating-point number is computed by plugging its bits into: