implemented saturated unsigned multiplication