hi; i have a string that look like 16:23:20.019519 (i.e. system time) without days and months. I want to convert it to just one long floating point number with as many decimal places as possible. is there a funciton to do that?
thanks ms -- http://mail.python.org/mailman/listinfo/python-list
