let type_of_int n = add_t n zero_t