Is the convention of dropping the leading 1 when storing the significand a given in all binary floating point representations or not necessarily?
Implicit Leading 1 in Binary Floating Point
floating point;number formats