Use `IntegerProperty` for rocket labels