Hadamard bound solution should also handle rational matrices

[ClementPernet]

In particular in order to have fullCRA for rational solver with rational matrix. Suggestion: the scan through the rational matrix should compute d, the lcm of the denominators on the fly and store it somewhere. Then the RationalSolveHadamardBound of the rational matrix only has to deal with the numerator HB and the vector bound of dxb.