Function numeric_value 

pub fn numeric_value(
    pool: &ExprPool,
    builtins: &BuiltinSymbols,
    id: ExprId,
) -> Option<Number>

ExprDAG → number (spec §9).