Add be_uint32_t.