std:std.stream.Stream.ReadDouble

Method ReadDouble:Double( )

Reads a 64 bit double from the stream.