Std stream stream readdouble

std:std.stream.Stream.ReadDouble

Method ReadDouble:Double( )

Reads a 64 bit double from the stream.