integer arithmetic types: correct perhaps-possible negative timeout situation