get_double


Description:

public double get_double (string key)

Gets a double context value.

Parameters:

key

the double key to read

Returns:

the value, or `0.0` if the key is unknown or has a different type