add simple dependent functions on integers