rewrite some numeric funcs
rewrite dividing funcs
rewrite rounding funcs
rewrite atan, rationalize
rewrite binary funcs
rewrite exactness funcs
removed extra procedure 'eq-hash'