fix encode-float impls