1 files changed, 7 insertions, 0 deletions
diff --git a/contrib/awk/test/leaddig.awk b/contrib/awk/test/leaddig.awk
new file mode 100644
index 0000000000000..6c001ba6dd51f
--- /dev/null
+++ b/contrib/awk/test/leaddig.awk
@@ -0,0 +1,7 @@
+# check that values with leading digits get converted the
+# right way, based on a note in comp.lang.awk.
+#
+# run with gawk -v x=2E -f leaddig.awk
+BEGIN {
+	print "x =", x, (x == 2), (x == 2E0), (x == 2E), (x == 2D)
+}