In the newer revision of IEEE-754 (in particular, the 2019 revision),
term "denormalized number" is completely replaced by term "subnormal
number".

There are formats (like x87 80-bit as implemented in pre-387 hardware)
that are not 754 basic formats which admit non-normal encodings that are
not subnormal (i.e. not smaller in magnitude than the smallest normal
number). Some people used to call these "denormal" as well (even though
the x87 docs call them "unnormal"), which caused confusion. "Subnormal"
is unambiguous.

I think SRFI-144 should add 'flsubnormal?' as an alias of
'fldenormalized?' to address this change in terminology.
--
Retrieve my PGP public key:
执行下列命令以获取我的 PGP 公有密钥：

  gpg --recv-keys B3EBC086AB0EBC0F45E0B4D433DB374BCEE4D9DC

Zihao / 閱卜錄