Bring back Decimals - Mouse Sensitivity

For keyboard and mouse players using high DPI - the mouse sensitivity slider is not granular enough.  I use 1600 DPI and the gap between 7 and 8 is too high for me to get the right sensitivity.  To t...