Source position: libgmp.pp line 491
var mpf_set_prec: procedure(
para1: Tmpf_ptr;
para2: Tmp_bitcnt_t
);