Использование канонического NaN в стандарте меня смущает. Для двоичных чисел в действительности не указывается, что такое канонический NaN. Для десятичных чисел с плавающей запятой (Paeg 11):
NaN находится в своем предпочтительном (каноническом) представлении, если биты G_6-G_ (w + 4) равны нулю, а кодирование полезной нагрузки является каноническим.
Единственное ограничение, которое я могу найти для двоичных чисел с плавающей запятой, - это наличие канонической версии любого NaN. Следовательно, по крайней мере 1 NaN должен существовать на битовую ширину.
Существует ли верхняя граница для числа канонических NaN, которые могут быть разрешены? Может ли каждый NaN быть каноническим?