>>68
grokくんによるとその問いに直接答えたツイートはないけど、このツイートによると出力の最小上界で無理数は作れるってさ

ℕ → ℚ が良いんじゃない? 全部同じ値を返すと単なる有理数になる

この関数の出力の最小上界が実数だが、関数そのものが超実数

演算はℕ x ℕ に対して計算して、それをℕ → ℚ に再構成する

追伸
√2=(1.5,1.42,1.415,1.4143,1.41422,...)の最小上界とか聞かれても困るからこれには質問を繋げないでね！