Adapt prod related test to handle very large cardinal