Added a float and double getter for OptionsManager.