Minor, and quite experimental at that, expected-improvement on big_int.h GMP-based implementation -- introducing the 'addmul' complex(ish) instruction (y += x * z) -- the idea being that internal (gmp-native) implementation of this complex instruction could be somewhat more efficient than an explicit two-step call method to firstly gmp-multiply into temp big_uint followed by gmp-increment from such a temp.