I added a check similar to:

CHECK (OfficeNumber BETWEEN 1 AND 10)

When I exported my schema, PostgresSQL (I am using v. 12.20) converted my check to:

CONSTRAINT OfficeStaff_OfficeNumber_check CHECK (((OfficeNumber >= 1) AND (OfficeNumber <= 10)))