This should use `fmax`.