INTERFACE Integer32Polynomial = Polynomial (Integer32Basic, Integer32Vector, Integer32PolynomialBasic) END Integer32Polynomial.