let mk_fguard f =  Pretty_utils.sfprintf "is_%a" Ctypes.pp_float f