root/pypi: links for ieee754bin