add get_double_value, set_double_value