selectable_int: make FieldSelectableInt.__repr__ more flexible