Tests for unsigned integral arithmethic implementation.