public function readSingleValue(ServerSerializationStreamReader $stream) { return $stream->readDouble(); }