inline fn mul80_tail(a: u80, b: u80) u80
inline fn mul80_tail(a: u80, b: u80) u80 { const ahi = a >> 40; const alo = a & 0xFF_FFFF_FFFF; const bhi = b >> 40; const blo = b & 0xFF_FFFF_FFFF; return alo * blo +% ((ahi * blo) << 40) +% ((alo * bhi) << 40); }