Give a version number for stdlib