Use 64 bit integers for object ID values