Constant JSC_OPTION_DOUBLE

Source
pub const JSC_OPTION_DOUBLE: JSCOptionType = 4;