Definition:Power to Real Number