MODULE BigIntegerMatrixBasic = MatrixBasic (BigInteger, BigIntegerVector, BigIntegerVectorRep) END BigIntegerMatrixBasic.