Zulip Chat Archive
Stream: Is there code for X?
Topic: High 64 bits of the product of two `UInt64`s
Geoffrey Irving (Oct 21 2023 at 21:13):
Mul.mul for UInt64 is the low 64 bits (the result mod 2^64). Do we have an existing routine for the high 64 bits?
Last updated: Dec 20 2023 at 11:08 UTC