remember, we are talking about a low-level interface, the given timeout will be written into a capture/compare register -> and these are normally not larger then 32 or 16 bit, so int should be sufficient for 99% of the platforms.