Add spec for arbitrary-exponent numbers