[Finn]
> But this cause silent loss of information, so I would prefer that we fix
> the documentation. Does anyone have a strong opinion about this?
I agree that's better to change the doc than to have a info losing coercion.
For the rest: I'm working on the prec,... things.
regards, Samuele
|