A real version number