> On Thursday, 11 January 2018 at 23:57:29 UTC, kdevel wrote: > What about the failed comparison: >> .... You are right in fact, there is also a failed comparison. Now corrected.