Hi, I can't get this to compile. #include "boost/metamath/double.hpp" #include "boost/metamath/double_macros.hpp" #include "boost/mpl/apply.hpp" #include "boost/metamath/double/divides.hpp" int main() { typedef BOOST_DOUBLE(3.3f) xt; typedef BOOST_DOUBLE(2.2f) yt; typedef boost::metamath::detail::divides_double_double<xt,yt>::type zt; zt z; return 0; }; The header file seems to have a macro problem. Here is the error message in g++ 3.4.2 in Linux: In file included from ../boost/metamath/double_macros.hpp:8, from fail.cpp:2: ../boost/metamath/double/double_macros.hpp:140:8: warning: extra tokens at end of #endif directive In file included from ../boost/metamath/double/divides.hpp:13, from fail.cpp:4: ../boost/metamath/double/limits.hpp:58:7: warning: no newline at end of file In file included from fail.cpp:4: ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token In file included from fail.cpp:4: ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:70: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71:1: pasting ")" and "1" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:71: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72:1: pasting ")" and "2" does not give a valid preprocessing token ../boost/metamath/double/divides.hpp:72: error: expected `;' before numeric constant ../boost/metamath/double/divides.hpp:73: error: `result311' was not declared in this scope ../boost/metamath/double/divides.hpp:74: error: `result312' was not declared in this scope ../boost/metamath/double/divides.hpp:78: error: non-constant `<expression error>' cannot be used as template argument ../boost/metamath/double/divides.hpp:78: error: non-constant `<expression error>' cannot be used as template argument ../boost/metamath/double/divides.hpp:78: error: template argument 1 is invalid ../boost/metamath/double/divides.hpp:78: error: `type' does not name a type ../boost/metamath/double/divides.hpp:265:47: warning: no newline at end of file ../boost/metamath/double/divides.hpp: In instantiation of `boost::metamath::detail::divides_double_double<main()::xt, main()::yt>': fail.cpp:10: instantiated from here ../boost/metamath/double/divides.hpp:208: error: no type named `type' in `struct boost::mpl::apply2<boost::metamath::detail::divides_double_double_impl<double, double>, main()::xt, main()::yt>' fail.cpp: In function `int main()': fail.cpp:10: error: expected init-declarator before "zt" fail.cpp:10: error: expected `,' or `;' before "zt" fail.cpp:11: error: `zt' undeclared (first use this function) fail.cpp:11: error: (Each undeclared identifier is reported only once for each function it appears in.) fail.cpp:11: error: expected `;' before "z" Thanks, Chris