Further optimizing bigfloat matrix multiplication

Fredrik Johansson: Further optimizing bigfloat matrix multiplication