[Python-Dev] Re: Tottime column for cprofile output does not add up