(note: spin-off from FasterXML/jackson-dataformats-binary#28)
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.