Now that some of the include dependencies are cleaned up in bigint.h++, these source files need cleanup, too.
Tiny speedup.
Converted 413 from C++ to just C.
Renamed 413.c++ to 413.c to show it really is a C file.