wow, there is no Divide a BigInteger by another integer, and get a double?