pub fn set_half(v: b64, w: b32, hi: bool) -> b64
v with its low (hi false) or high 32 bits replaced by w.
v
hi
w