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