https://1library.net/document/zx52w2nq-extensions-of-the-constructivist-real-number-system.html