let of_int = ident