Faster float + double encoding.