A big enough int. Ideally it should be MAX_INT.