The model of [exponential fields](https://en.m.wikipedia.org/wiki/Exponential_field) seems to be related, but these are defined with an exponential function instead of a commutative operator, and no inverse function.