add BigInt mul() and test case