let z_from_bits b fmt : D.integer = F.unwrap (RtLib.from_bits b fmt)