Add an is_nonarrow_convertible traits.

It does not tests literal cases, of course.
Show some tests of pow2_roundup.