tested multi-precision multiplication