Constant JS_SHORT_BIG_INT_BITS 

pub const JS_SHORT_BIG_INT_BITS: u32 = 64;