Function numericBoundValue

src/compute-engine/assume.ts:1056–1061

The numeric (finite, real) value of a bound expression, or undefined.

(b: Expression | undefined)

 */
function assumeElementOfSet(
  ce: ComputeEngine,
  symbol: string,
  setExpr: Expression,
  cause?: Expression
): AssumeResult {
  // 1. Primitive number sets → pure type refinement
  const type = domainToType(setExpr);
  if (type !== 'unknown') return refineSymbolType(ce, symbol, type, cause);