let to_int t = t