Not sure about rational support, but SmallTalk and ABC (predecessor to Python) have 'exact' or something, at least for integers, so you can do silly things like 1000!, if you have enough memory ...

so they aren’t constrained by Python’s limitations. NumPy provides a specialized array type that is optimized to work with machine-native numerical types such as integers or floats.