That's a really large cognitive leap from such a small amount of data. Have you considered that they may not be using floating point numbers at all? They might

That's a really large cognitive leap from such a small amount of data. Have you considered that they may not be using floating point numbers at all? They might be using arbitrary precision arithmetic. That was probably implemented by a library. So not as much effort as you would think.