-
Mathieu Giraud authored
The result with '>=' should be more portable. This may be related to the actual precision of 'double' and rounding issues that may depend on the platform. Bug detected thanks to unit tests on several slaves. Thank you Jenkins !
a72ef27e