figuring out exp_to_i4_shift