Multiplication of a Hilbert matrix with its inverse using Bignum.Rationals as a test case for rational arithmetic. R=r OCL=18706 CL=18706