-
Sylvain Dailler authored
In particular, this multiplication should avoid min/max on possibly Nan floating point numbers: it avoids multiplication of 0 by inf.
d82b28b5
In particular, this multiplication should avoid min/max on possibly Nan floating point numbers: it avoids multiplication of 0 by inf.