Travis CI configuration file
SPIKE MAXINT++ == MININT
SPIKE Doubling MAXINT