Re: [Python-Dev] float atime/mtime/ctime - a bad idea?