Документация по этому поводу неверна; "годный к употреблению" является разговорным и не определяется. По-видимому, tiny означает наименьшее положительное нормальное число.

nextafter возвращает фактическое следующее представимое значение после нуля, что является субнормальным.

Python не жестко определяет свои свойства с плавающей запятой. Реализации Python обычно наследуют их от основного оборудования или программного обеспечения, а использование форматов IEEE-754 (но не полное соответствие семантике IEEE-754) является обычным явлением. В IEEE-754 числа представлены с неявным ведущим одним битом в значении ¹ до тех пор, пока показатель не достигнет своего минимального значения для формата, после чего неявный бит равен нулю вместо одного и меньшего значений, представляемых только путем уменьшения значения уменьшения показателя степени. Эти числа с неявным начальным нулем являются субнормальными числами. Они служат для сохранения некоторых полезных арифметических свойств, таких как xy == 0 тогда и только тогда, когда x == y. (Без субнормальных чисел два очень маленьких числа могут быть разными, но их еще меньшая разница может быть не представимой, поскольку она была ниже предела экспоненты, поэтому вычисления xy до нуля, что привело бы к коду типа if (x != y) quotient = t/(xy) получая ошибку деления на нуль.)

Заметка

¹ "Значимость" - это термин, предпочитаемый экспертами для частичной доли представления с плавающей запятой. "Мантисса" является старым термином для фракционной части логарифма. Мантиссы являются логарифмическими, а значимые - линейными.