+STR
+DOC
=VAL "2.71828175
-DOC
+DOC
=VAL "3.14159274
-DOC
+DOC
=VAL "12500
-DOC
-STR