Re: [firedrake] Detecting NaNs