Export value-level exponentiation.