divided by BigInt, TODO: more test case