No conversion to int necessary for dump format versions