Success! Final stack:
  (Lean.Doc.Syntax.text (str "\"$35.23\""))
All input consumed.