Optimized int64*int16 multiplication