I figure this is the time the finger has been pressed in milliseconds, to be consistent with the way we return the overall time it would make more sense to me to use uint32 here.