5^(x−7)=1/125 over the reals