path: root/test/mpfrbigint2.awk

BEGIN { print 0x1F12233445566778DFEF + 0 }
BEGIN { print strtonum("0x1F12233445566778DFEF") }
{ print $1 + 0 }