Skip to content

More efficient encoding of floats and doubles #1264

More efficient encoding of floats and doubles

More efficient encoding of floats and doubles #1264