Eric Botcazou Mon, 30 Dec 2013 13:43:20 -0800
> Ok without the comment (this is obvious) And with an appropriate name for the variable, typically "prec".
-- Eric Botcazou