Extend min/max data driven formatter to handle floating point values

If a min/max field is a floating point number (versus an integer), display as a floating point numbers from min to max.

Bonus points for using the precision of the min/max values (i.e., the number of digits after the decimal point) to determine the precision of the format. For example, if min is 0.0 an max is 10.0, display numnbers rounded to one decimal digit. If min is 0 an max is 10.000, display numnbers rounded to three decimal digits. Use the max precision if either min ir max. That said, precision of 1 decimal polint might be good enough.

In general, it would be nice to allow more formatting without using explicit formatters.

I would like to add an option to easily swap min and max, to reverse the display range. I will consider this too while working in that area. On the low-level, firmware already supports the standard printf() formatter string. It should not be that hard to do. Swapping min and max is more difficult.