Links for mixed-precision-for-jax