都允许修改四则运算定义了，那你的问题是不是等价于：

在一个有限集（大小等于IEEE754浮点数个数）是否可以构造一个有限域？

这和IEEE754浮点数毛线关系都没有了，只和这个集合的大小有关，还有啥意思呢

【 在 tgfbeta 的大作中提到: 】
: 或者剔除某些值，并改造四则运算的定义，能否把一个类似IEEE754的浮点类型改造成一个有限域？
--
FROM 180.164.90.*