On Tuesday, 26 April 2022 at 22:16:15 UTC, rikki cattermole wrote: > Of course I still don't think that code is right and should > have the casts. Absolutely. I'm a bit anxious about "accidental VRP" now, not sure if the checks fluctuate from version to version, or worse, depends upon the platform.