external fdlibm