I wouldn’t consider this a leaky abstraction.

Floating point numbers are explicitly not trying to be an abstraction for real numbers, but rather an approximation for them that is good enough for most purposes (if you’re careful in how you use them).

That they might not be taught as such is another problem.