made LogDouble a semigroup