Changed conditionally-compiled type for pinvTol to support hmatrix version 13.