Often a rational-only exponentiation function is useful; that is, a rational number raised to an integer power. Should we add this procedure to the core so that exponentiation is available even if inexact rationals are not provided or not imported?
I don't understand the motivation - why we can't use expt?
WG1 chose not to provide this.