Update to InfInt class