INTERFACE BigIntegerFractionFmtLex = FractionFmtLex (BigIntegerFmtLex, BigIntegerFraction) END BigIntegerFractionFmtLex.