BatInt.Safe_int.mul performance improvements
Fix: testsuite didn't compile
Merge pull request #590 from cakeplus/Int.Safe_int.mul-fix

Int.Safe_int.mul performance improvement