Constant DOUBLE_POW5_INV_BITCOUNT 

pub const DOUBLE_POW5_INV_BITCOUNT: i32 = 125;