GAWK 5.1.0 doesn't work with 64bit numbers

[uliriehm]

Dear Mr. Robbins.

I'm running GAWK 5.1.0. This code doesn't work as expected:

BEGIN {
    # "somepseudorandomlygeneratedbytes"
    x0 = 0x736f6d6570736575
    x1 = 0x646f72616e646f6d
    x2 = 0x6c7967656e657261
    x3 = 0x7465646279746573
    printf("%X\n", x0)
    printf("%X\n", x1)
    printf("%X\n", x2)
    printf("%X\n", x3)
}

The output of this code is:

736F6D6570736400
646F72616E647000
6C7967656E657000
7465646279746400

This is a bug!

Hans Riehm