I have a pandas DataFrame which consists of many columns which are strings represented as times (e.g. "8:14:30.123"). Is there an efficient way of converting all of these columns into numerical values? I did some research and found panda I have a pandas DataFrame which consists of man