get_property_as_double
Description:
Look up the value for key on this and convert it to a double precision floating point number
using ascii_strtod.
Parameters:
| this |
A Device. |
| key |
Name of property. |
Returns:
|
The value for |