Alles andere wiederspricht grob fahrlässig der Spezifikation des JSON.
[...]
Fazit: Du mußt den ganzen JSON-String selbst parsen und behandeln.
Hehe, das gebe ich mal so an den Dienstanbieter weiter. Eigentlich sind die ganz umgänglich und haben schon Anpassungen auf meine Anfrage hin gemacht. Aber bei den Floats sind sie eigen. Dass man die Dezimalgenauigkeit an der Stringdarstellung festmacht, hatte ich so auch noch nicht ^^