Should we merge a copy of fdlibm into the mintlib sources ?? Additionally, where is the master source copy of mintbin kept ? If it's not in CVS, should we move it there too ? Alan.