Jog scale

Hi!
I want to create JOG scale switch. For example (using pyvcp)
<radiobutton>
<choices>["1","10","100"]</choices>
<halpin>"jog-scale"</halpin>
</radiobutton>

In HAL the pin pyvcp.jog-scale.1, pyvcp.jog-scale.10 and pyvcp.jog-scale.100 wiil be BIT = TRUE every time I select one of this item.
Then I need to assign the halui.jog-spped to 10, 100 and 1000 according to jog-scale value.
How can I do it?
The halui.jog-speed is FLOAT type, but pyvcp.jog-scale values are BIT type.
Is there any logical condition like if then else in HAL?

feed the jog buttons into a mux component.. mux8 will convert the three bit inputs to user selectable float values

Hi!
Where is the manual about mux8?

Here is the HAL code using mux8
The sel0 - sel2 toggles, but out = 0
What is wrong?
#############################
loadrt mux8

setp mux8.0.in0 1.00
setp mux8.0.in1 2.00
setp mux8.0.in2 3.00
setp mux8.0.in3 4.00
setp mux8.0.in4 5.00
setp mux8.0.in5 6.00
setp mux8.0.in6 7.00
setp mux8.0.in7 8.00

net scale-1 <= pyvcp.jog-scale.1 => mux8.0.sel0
net scale-10 <= pyvcp.jog-scale.10 => mux8.0.sel1
net scale-100 <= pyvcp.jog-scale.100 => mux8.0.sel2
##############################
I'm see in HAL preferences the flashing sel0 - sel2 when i presses the button
But out = 0 every time

Thank you
Added "addf" all works now.