Add tenths of a second OSD timer precision option