float (Element element, boolean isDefault, Float fontScale) { if (isDefault) { return UISettings.getDefFontSize(); } // Use integer size for compatibility Integer intSize = myValueReader.read(Integer.class, element); if (intSize == null) { return -1; } return UISettings.restoreFontSize(intSize.floatValue(), fontScale); }