2015-05-13 16:05 GMT+02:00 Marc Glisse <marc.glisse@inria.fr>: > On Wed, 13 May 2015, Daniel Krügler wrote: >> What about assertions regarding non-NAN rho and finite theta, as >> decided for by the LWG 2439? > > non-NAN rho is already covered by rho >= 0. Agreed on that. - Daniel