Hi! I just stumbled over the fact that there is sys.maxint, but no sys.maxfloat and sys.epsfloat. In case anyone thinks this is a valid addition, I'll come up with a patch.