Może dodanie funkcji Settings.getValueAsDouble byłoby lepszym wyjściem? Albo w ogóle zastąpić tą funkcją istniejącą getValueAsFloat, która nie wydaje się zbyt przydatna.