How are the decimal values obtained for the Mike Tyson single fight? The category rules state that the game provides it on the blue screen after the fight is successful. However, I don't see that the fight time is visible at all on the blue screen, if you locate SummoningSalt's record on Youtube. Likewise, I don't see this value is visible on the TAS video, either.

Forgive me, I am new here, but I am just confused about this disparity. Thank you.