Constant DOUBLE_BIAS 

pub const DOUBLE_BIAS: i32 = 1023;