num.p2.inc
inc(pout, pin)
Mutably adds P->in to P->out.
