How in G-d’s name did they come up with this number?!
I'd guess a computer model. They probably could have carried it out to 7 decimal places.
GIGO.