Make verinum output match for either 32-bit or 64-bit systems
Make verinum output match for either 32-bit or 64-bit systems

themperek/iverilog,themperek/iverilog,CastMi/iverilog,CastMi/iverilog,themperek/iverilog,CastMi/iverilog