see comment on NumberProperty