type conversion error ascii (hex) to integer

[Lee Howard]

With GNU Awk 3.1.3 as found on Fedora Core 2...

Consider the following awk program:

 awk 'BEGIN { printf(int("255")) "\n" };'

The output is "255", as expected.  Now express the numerical value in 
hexadecimal:

 awk 'BEGIN { printf(int("0xff")) "\n" };'

The output is "0", not as expected.

This latter program worked as expected with GNU Awk 3.0.6 and Michael D. 
Brennan's mawk 1.3.3 both as found on RedHat Linux 7.1.

Thanks,

Lee.