On the Decidability of the Real field with a Generic Power Function