id_number and equality of objects