I used a symmetrical function. It really did work on my local machine, so I hope if works on the CI servers, but it was a challenging condition to provoke, because it only occurs if the two floating point numbers are considered identical, which rarely happens.