Which number, added to 5 - √7, gives a rational sum? | StemPy Lab