[PPT] - How to get an efficient yet verified arbitrary-precision integer PowerPoint Presentation