get_double_value


Description:

public double get_double_value ()