History math/divtc3.c