IOW, bad.go reduced ‘eqv?’ to ‘eq?’. This might come from 7df3f3414bfb19a1bd7fbe29bc30a1ab28bf4319, perhaps with an issue of the time at which ‘target-most-positive-fixnum’ is called, similar to what was fixed in a0b9d866380b04aff27dcbcf1e13051f3d9685ad. To be continued… Ludo’.