Optimise by removing Let and precomputing some values

1 job for zarith_extended
latest