// -*- C++ -*- forwarding header. // This file is part of the GNU ANSI C++ Library. #ifndef __NUMERIC__ #define __NUMERIC__ #include #endif