math/{mpbarrett,mpmont}.h: Provide correctness proofs for these methods.