root/pypi: links for libresoc-ieee754fpu