ExtNumberEditor is an extended
number editor that is used for
editing (floating point )numbers 
in a given format. The formatting is done by a 
contained StringConverter. It is possible to 
limit the numers that can be typed in by
defining a minimum and maximum.