pub const JSC_OPTION_DOUBLE: JSCOptionType = 4;