[boost] Log/tropical semiring for boost math