(unchecked-multiply-int x y)
Returns the product of x and y, both int. Note - uses a primitive operator subject to overflow.