Is there some way (module, idiom) to represent real numbers such that the same real number gets the same floating point representation, so that I can use them as hash keys for the approach above?

Are you concerned about it being portable, or just consistent on the same hardware? You've got some answers that should help with consistency.

If you want it portable, you may need something like Math::BigFloat, which, IIRC, should be portable.