Package ints provides some utilities around ints.