Comment by ghighi7878

Mixed precision computations need correctly rounded functions.