Weird behavior when randomizing dynamic array

SystemVerilog
,
4

In reply to dave_59:

17179869284…so it is over 32-bit. But why solver thinks it is the solution?

Ok…it is 0x400000064. And 0x64 is 100?