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