hyperinteger (integer + hyper-; above_excessive)
A hyperreal number equal to its own integer part