fix some mess-ups in bigint_shl