Use decimal IDs for people.