Source position: libgmp.pp line 454
var mpf_div_2exp: procedure(
para1: Tmpf_ptr;
para2: Tmpf_srcptr;
para3: Tmp_bitcnt_t
);