get the version number for reals