Comment by nmaleki

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