make version numeric