[timeloop] use <= instead of Dune::FloatCmp::le

6 jobs for !3337 with avoid-duplicated-checkPoints in 36 seconds (queued for 1 second)
latest merge request