Constant JS_SHORT_BIG_INT_BITS

pub const JS_SHORT_BIG_INT_BITS: u32 = 64;