information:highlighting, quality:correction, structural:summarization, stylistic:tone
Integer exponents

The exponentiation operation with integer exponents may be defined directly from elementary arithmetic operations.