Commit d65b6f40c0088e28e03a8a4513f2ec2f842ff0ad

czurnieden 2018-12-30T22:09:12

reg. #143 corrected translation of mpz_fdiv_q_2exp