Re: [boost] Trouble compiling divides.hpp in metamath