work around for 64-bit checked_mul on 32-bit. ref #4905