My android calculator app gives me 9.00000... and lets me scroll through the decimal expansion, it's zeros at least to 1000 places, so presumably the calculator's answer is exactly 9.
I wonder if our calculator apps are doing some symbolic computations? Or just have >>64 bit precision (which I presume is the default for excel/python)?