Convert to valid lat/long codes

My source gave me the following lat and long codes from Amsterdam. But I can't get them working with Google Maps. Is there some logic behind it, or some kind of algorithm to convert them?

5,237,300,539,279,090 | 489,290,71开发者_Python百科4,263,916

Should be something like this:

52.378268, 4.888859

How can one tell where the dots should be?

Thanks!

I guess:

• Remove the comma's (it's the thousands separator in the Netherlands)
• Assume 14 decimals

52.37300539279090, 4.89290714263916