let float_of_data (f:Ctypes.c_float) = F.e_app1 ((Pretty_utils.sfprintf "%a_of_data") Ctypes.pp_float f)