Haskellにはネイティブのデータ型があることを知っています。これにより、非常に大きな整数を使用できるようになります。
>> let x = 131242358045284502395482305
>> x
131242358045284502395482305
期待どおりに動作します。私が使用できる同様の「大精度フロート」ネイティブ構造があるかどうか疑問に思っていたので、
>> let x = 5.0000000000000000000000001
>> x
5.0000000000000000000000001
可能性があります。これを Haskell に入力すると、小数点以下 15 桁 (倍精度) を超えると 5 に切り捨てられます。