fix problem with biginteger division