>>tromp+(OP)
I know the purpose of this article, but let me be "that person"---how would you do arithmetic? Or compare them? ;-) The proposed scheme is essentially a very compact version of constructive real number, which has a well-known caveat of not always being comparable to other numbers (because two real numbers can be made arbitrarily close to each other without being equal). It would be interesting to design a constructive real number format that can avoid those pedantries.