Modify test so that it works if int is IntInf.int.
Modify test so that it works if int is IntInf.int.

polyml/polyml,polyml/polyml,dcjm/polyml,polyml/polyml,dcjm/polyml,polyml/polyml,dcjm/polyml,dcjm/polyml