Changing priorities: `min` and `max` in the `num` domain for v1.2.