Learn more about these different git repos.
Other Git URLs
a73968
nt32: fix bits/float.h to match the toolchain's float settings.