If your parameters have known ranges you could elide a lot of checks.

You're not going to overflow multiplying an 8 bit number times a 16 bit number, for instance.