Add an is_nonarrow_convertible traits.

It does not tests literal cases, of course.
Show some tests of pow2_roundup.
Add overflow checking to decimal parsing.
Rephrase an error message.