prevent rounding of float default values in AppPrefs3.h