SplashOutputDev.cc:4584:bughuntingDivByZero
SplashOutputDev.cc:4585:bughuntingDivByZero