Cryptol.Eval.Arch
maxBigIntWidth