let real_from_bits b fmt : F.real = F.unwrap (RtLib.from_bits b fmt)