Be sure to do floating-point to text conversions in JSON to the full
17-digits. FossilOrigin-Name: 61a776650cdc3fe632bdb1dc39f50f542b00a9e5b468180eb54b69750d0cd70c
D
drh committed
5b98467d28aa1ceff5602b54a0cd7c0d3f1c8fb0
Parent: 3d006d0