The overflow check in number_multiply() was not correctly implemented,
it was a no-op. It now uses a simple overflow check from Hacker's
Delight.

Fixes issue #10.