Saturating multiplication for int64 was added.

It is the last function for saturating arithmetic.