Aside from all the other issues people have raised, equality is not decidable for the “useful reals”. While they form a field, they do not form a computably-ord

Aside from all the other issues people have raised, equality is not decidable for the “useful reals”. While they form a field, they do not form a computably-ordered field, which makes them quite a bit less useful than many other number systems.