More found_real-related fixes to AstNode::detectSignWidthWorker