Source position: libgmp.pp line 501
var mpf_sub: procedure(
para1: Tmpf_ptr;
para2: Tmpf_srcptr;
para3: Tmpf_srcptr
);