> These look like arithmetic functions for double that my program, > compiled by our GCC, tries to use. I can't find the source code for > these functions in Newlib. The sources are in gcc (libgcc.a). You should have configured your gcc for soft-float support, which makes it build those functions. See the m32c port for an example; it uses soft-float.