rework the float option to a double option
Removes all usage of float inside the option and the options widget and replace it with a double. Since sane uses fixed point with a resolution of 1/65536, the precision of a float is not sufficient. Also renames the option and the type accordingly