ObjectID: Branded<number, "ObjectID">

EDB objects are identified by a unique ID, which is essentially a positive integer number.