AsINT(N: INT): INT AsINT(N: RAT): INT AsINT(N: RINGELEM): INT
/**/ Use P ::= QQ[x,y]; /**/ type(LC(3*x-y)); RINGELEM /**/ type(AsINT(LC(3*x-y))); INT -- /**/ type(AsINT(LC((3/2)*x-y))); --> !!! ERROR !!!