[nmaleki]

I am really curious how this compares to https://github.com/rubenvannieuwpoort/reals

[0x0mer]

I'd guess that CasNum would be, how do I put this? not as performant