bigint: div optimizations