Decoding double values with extensions, update benchmark