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 double or float, but I'm not sure that would work?