[Python-Dev] redux: fractional seconds in strptime