pub fn left_extend_1_64(a: u1) -> u64
Extend a 1-bit value to a 64-bit value by padding its left with the MSB.
76 mWU (milli weight units)