[844] Analyzer: make NumberWidget::setFormat() available in script
[845] Analyzer: add CircleWidget::setFormula(), available from script