GenericPolyArithUnit