Wished precision should go into the caml explo file, not in the linear program.