changed default precision to max precision for real_t in print.h