in my opinion int should be fine, as ticks_per_us is limited anyway in a sense, that the periphial clock and prescale registers limit the range in which a valid value can be selected. This is however very diverse and heavily depends on the platform, but on all platforms I know an int should suffice here...