>>7An M-expression is no more a real number than the Greek letter pi is the number pi. It is a symbol, not a number.
Even computation of a real number to arbitrary precision does not mean the real number itself is ever represented in computer memory.
There is no precise "lossless", as you call it, computer representation of an arbitrary real number as it would overfill any memory. You are lying.
Thus saying that any programming language has a "real number" type is misleading, arrogant and delusional. Computers have floating-point numbers, sure, but not real numbers.