Да, для всех нормализованных чисел (кроме нулей) этот бит установлен в единицу (a) , поэтому они делают его неявным, чтобы не тратить место на его хранение.
В другихсловами, они полностью сохраняют этот бит и повторно используют его, чтобы его можно было использовать для повышения точности ваших чисел.
Имейте в виду, что это первый бит дроби, не первый бит двоичного шаблона.Первым битом двоичного шаблона является знак, за которым следуют несколько битов экспоненты, за которыми следует сама дробь.
Например, число с одинарной точностью (знак, экспонента, дробь):
<1> <--8---> <---------23----------> <- bit widths
s eeeeeeee fffffffffffffffffffffff
Если вы посмотрите, как вычисляется число, это:
(-1)<sup>sign</sup> x 1.fraction x 2<sup>exponent-bias</sup>
Таким образом, для вычисления этого значения используется дробная часть 1.fffff...fff
(в двоичном виде).
(a) На самом деле существует класс чисел (денормализованные и нули), для которых это свойство не выполняется.Все эти числа имеют смещенную экспоненту, равную нулю, но подавляющее большинство чисел следует правилу.