Added mprec.cc, which will evolve to a precision checker.