Return to use of <regex> in example. Reduce changes in gmp.hpp to a minimum for a billion digits.