@bdufresne MySQL gives exactly the same result, when values are double. At least it’s consistent.