The constant is named VAGRANTFILE_API_VERSION, so maybe it contains the Vagrantfile API version