Is there some sort of numbercontrol available that handles numbers with a decimal point? I could of course use a stringcontrol instead, but for esthetical reasons I would prefer to have a sort of numbercontrol.