read_double


Description:

public double read_double () throws Error