Power arithmetic