Returns the overflow part of multiplying two ints, as if they were unsigned
namespace HH; function int_mul_overflow( int $a, int $b, ): int;
In other words, this returns the upper 64 bits of the full product of
(unsigned)$a and (unsigned)$b. (The lower 64 bits is just
$a * $b
regardless of signed/unsigned).