Rest of trivial decorations

[Paolo Carlini]

Jan Hubicka wrote:
> OK, thanks for pointer!  Does this seem fine?
>   
Almost, prefer __nothrow__, as usual.

Paolo.