Hi, at the request of Niels I re-raise the issue at https://gmplib.org/list-archives/gmp-devel/2015-March/003945.html, i.e., the fact that redc_1 and redc_2 do not have the same convention than redc_n. In addition, it would be very nice if those functions would be included in the public interface. Paul