fix the bigdiv bug(caused by operator+) ...

add some useful function