Double division and power