There were some bugs in IntInf constants and IntInf.toString. Here is are some
file updates that should fix the problem. One change that may affect the
native backend: the type of IntInf_toString has been changed and it is now
Funtional, not SideEffect'ing.