bigint: optimized binsearch in division