let to_int t = arabic t