还定义了十进制浮点数，并且有机器在硬件层面支持这个格式
【 在 TexasPotato 的大作中提到: 】
: 还得把二进制换成十进制  
: --

发自「今日水木 on iPhone 13 Pro」
--
FROM 223.104.78.*