Links for jax-fixedpoint