Constant fexpr_builtin_symbol_FEXPR_ExtendedRealNumbers

pub const fexpr_builtin_symbol_FEXPR_ExtendedRealNumbers: fexpr_builtin_symbol = 152;