removed time_type typedef again because it's stupid