there are also complex numbers and complex infinities of both rational and floating-point forms in CL. These must be dealt with. The with-rational-trap-enables ... proposal suggests that trap enabling should have dynamic scope. Do you mean this?