Added Zsuzsanna's PointRes (efficient log space arithmetic)