I agree! "Resource" instead of "value" and "reference" instead of "variable" would bring this in line with the program logic community, from which many of these ideas spring or draw inspiration from.
I believe you are confusing rational for real numbers. Rational numbers really do map to the integers, but I believe I can "break" any purported isomorphism from reals to ints, by taking two adjacent ints and asking what number the midpoint between the corresponding reals map to.