Is this really needed? `expt' is already guaranteed to return an exact result if both arguments are exact integers. We might consider bumping the spec of `expt' to also return an exact result if the base is an exact rational and the exponent is an exact integer. -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla