Uniqueness of finite binary representations

The decoded exponent is the canonical exponent of every nonzero finite value. This connects numerical conversion theorems to representation round trips; signed zero is handled separately because real numbers forget its sign.