the release json uses a float for the version
It used to be a string, and we might want to keep it as a string to support version numbers like 12.5.1.
See for example: https://aus1.torproject.org/torbrowser/update_3/release/download-android-aarch64.json