[hollerith]

I think it is better to change the interface so that the choice is labelled <13.3 rather than <13.