Re: [boost] Issues with compile time double [metamath]