Constant JS_DEF_PROP_DOUBLE 

pub const JS_DEF_PROP_DOUBLE: u32 = 6;