You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Looks like JsonNodeDeserializer only creates DoubleNodes, since JSON does not support distinction between 32- and 64-bit floating point numbers. But many binary formats do, so let's support distinction.