JPL needs the number of digits in a double float because JPL needs to use double floats because JPL is performing engineering.

Paradoxically, double floats are engineered to provide more digits than you need because you need more digits than you need when engineering because if you don’t have insignificant digits to drop, you don’t have enough digits.