we don't use that because it was added long after hundreds of runs had already been done and we can't see those decimal times, plus it would take too much effort to change all of them (especially now with the 36k runs)