Experimental Packed_value.to_pic_i implemented