bfcounter.h: undefine divide from polylib's arithmetique.h