pub fn int_bits(tcx: TyCtxt<'_>, ity: IntTy) -> u64