compute the product of all the elements in a uin32_t*