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