@Override
	public Double convert(Float value) {
		// use strings to avoid getting extra precision digits.
		return Double.parseDouble(value.toString());
	}
Converts Float Column objects to Double objects so that column gets Double type column
filters
Ghidra/Framework/Docking/src/main/java/docking/widgets/table/constraint/provider/FloatColumnTypeMapper.java