changed exact-point.sage so that it does not import everything from mpmath