[edflsafoiewq]

A constructive response is that the ability to examine a real number to arbitrary precision is already highly idealized. In the real world you will quickly exhaust your ability to measure a real quantity to ever higher precision.

> you can't even provide an equality operator

If you are given two rods, there is no way to tell if the two rods are of the same length.