> Like snthpy said "real" is a shortcut to say infinitely subdivisible. The numbers themselves are actually rationals.

That sounds like a fair bit of complexity vs using 64/128-bit unsigned integers or something. I guess the benefit is that then you "never" have to reallocate / defragment?