Adding a multiplicative group to a polynomially bounded structure.