[boost] Issues with compile time double [metamath]

Hi, In order to use plus_double_double<a,b>::type I needed to make the following two changes to boost/metamath/double/detail/shift.hpp Change line 72 to: shift_integral_impl<shift_sign_overflow<Amount>::value>::template apply<T,Value,Amount> Change line 113 to: struct shift_mantissa : shift_mantissa_impl<shift_sign<Amount>::value>::template apply<Mantissa,Amount> I am using gcc 4.0 in debian. Chris