Re: [PATCH] external-linaro-toolchain-versions.inc: python3 division returns float