Sort version numerically

Right now browser versions are sorted as strings, so odd orders like 10.0,
7.0, 8.0 happen. This sorts them as numbers. Non-number versions will be
pushed to the end of the list.