INTERFACE BigIntegerMatrix = Matrix (BigInteger, BigIntegerVector, BigIntegerMatrixSupport, BigIntegerMatrixBasic) END BigIntegerMatrix.