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