On Jun 8, 2004, at 01:49, Steven Bosscher wrote: > First, your math is interesting, but clearly wrong: > > Before: 37m37s -> 2257s > After: 37m57s -> 2277s > 2277/2257 = 1.009, according to my calculator. I stand corrected, even including the system time it is only 0.95% slower. -Geert