[Python-Dev] trunc()