Hi, On Tue, 17 Jan 2023, dram.wang at gmail.com wrote: > While uint64 can be converted to float using float.cast_from_uint64/1 in Mercury, but I can not find a way to convert float to > uint64. > > Am I missing something? No, the float -> unit64 conversion is not currently supported in the stdandard library. Julien.