484: make IPCP put all options in increasing numeric order in all cases.