type jump_by_tenth is delta 0.1 range 1.0 .. 99.0;