Just a quick question regarding storing "time" in a database. I'm logging the time of users runs which are in the format 00:00:00:00 (hours, minutes, seconds, milliseconds).
I was originally going to store it as
TIME but then I realised MySQL doesn't support milliseconds in this type.
I will be storing the actual time taken from the users stopwatch, not the time when they ran and finished (this will be calculated before being inserted).
What would be the best field type to use? I was thinking either
float, but I'm not sure that would work?