>実無限’を扱っている数学分野が結構あるので、
>それがぽしゃると困るわけです

具体的に、どの分野かお教え願えますか？
私は浅学で知らないので。