Optimize Version#<=>