big float arithmetic & mgrp



I guess all this sorting is to arrange the terms into the canonical order. 
 Maybe
products and quotients of complex floats (doubles and big floats) should 
automatically 
expand:

(3.4 + 5.6*%i) * (6.5 + %i*3.4) --> 47.9599...*%i + 3.0599..

I was fixing up my pochhamer code from complex arguments and was 
surprised at how many times mgrp got called for something like
pochhammer(1.2b0 + 5.8b0 * %i, 1000). 

Barton