new package offers operations on variable precision homotopy