clean up build checks for non-gmp builds
add proper checks for boundaries of fixnum arithmetic and division
division that produces rationals should be div2
division test for fixnums
tests for division involving fixnums
division tests