decodePrimitive_double