Re: [Python-Dev] redux: fractional seconds in strptime