Constant BIGINT256_LIMB_BITS 

const BIGINT256_LIMB_BITS: i32 = 64;