<div>Hi all,</div><div><br></div><div>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.</div><div><br></div><div>Am I missing something?</div><div><br></div><div>Regards,</div><div>Xin Wang</div><div><!--emptysign--></div>