path: root/test/mpfrnonum.awk

{ if ($1) print "must print " $1 }