double tf_get_key_double
Given a key name, returns its value as a double
the value of the requested key