pub fn sext(tcx: TyCtxt<'_>, u: u128, ity: IntTy) -> i128
Turn a constant int byte representation into an i128