pub fn ch_64(a: u64, b: (u64, u64)) -> u64
Bitwise CHOICE of a bit and two 64-bit values. If the bit is true, then take the first value, else take the second value.
91 mWU (milli weight units)