(2^32-1)/10000 == ((2^32)-1)/10000