could these be replaced with a `Number` field and appropriately cast on `getValue()` calls?