How to change default number of digits printed for PrettyPrint

Would this simple solution help?