Add arithmetic operations on id<> with the help of boost::operators