理论上讲，似乎可以

以单精度浮点为例，你先定义一个f，将浮点数map到32位的定点数上面，然后要构造一个32位的定点数的有限域并不困难

但是，这样有什么意义？
--
FROM 1.202.141.*

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

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

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

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