Fast Double Deserialization