Automatic int type, in the spirit of the Python 3 int.