pub fn magnitude(b: &mut Builder, a: &Mw) -> (Mw, u32)
(|a|, sign) of a two’s-complement value; |MIN| is 2^63, exact in the unsigned width.
(|a|, sign)
|MIN|
2^63