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 ...