The PolyML version now uses PolyML's builin IntInf support. (This change doesn't appear to speed up HOL, but it's nice to have anyway.)