+STR
+DOC
=VAL "2.7182818284590451
-DOC
+DOC
=VAL "3.1415926535897931
-DOC
+DOC
=VAL "12500
-DOC
-STR