Mention where we need to be more careful when working with `Int`s: - 0 - positive - negative - in some bounds