travis int