[711] Analyzer: fix bad conversion in NumberWidget's formula