let data_of_real (x : F.real) : data = Data(F.wrap x)