Minecraft mouse sensitivity

The minecraft sensitivity slider does not provide enough sensitivity freedom. When using the 16000 DPI on a mouse you are not able to achieve a low enough sensitivity without having to change the dpi. This is very frustrating when you are able to use your mouse at 16000 dpi at pretty much any other game. I did try to modify mouseSensitivity field in the options.txt file to give it a negative value, but it just reset to default value whenever i relaunched the game(guessing it doesn't accept negative values).

Hope this will be fixed in the future.