Links for jax-fixedpoint-test-manueldelverme