path: root/test/double1.awk

BEGIN {
	print 9223372036854775808
	printf("%d\n", 9223372036854775808)
}