let mk_fformat f = Pretty_utils.sfprintf "%a_format" Ctypes.pp_float f