Time float display isn't the best way to quickly read time. So this user script add hours and minutes to each time value.
You can easily use this script with browser extensions :
- Firefox: Greasemonkey
- Chrome: Tampermonkey : Just go to raw page script once Tampermonkey is installed to install script.