pub const SCS_VALUE_TYPE_double: scs_value_type_t = 6;