py: Fix mpn_sub, was increasing wrong source pointer.

Also change int -> machine_int_t where appropriate.