Options.txt Doesn't Save The Correct Values for Certain Settings

That is the correct value, the value is just converted into a decimal between 0 and 1.

The only time you can claim something is not saved correctly is when the value changes between startups, which is not the case here.