def numeric_special

bendvy-ecs-core@0.1.0.3 · decode_data.bend:73

import Base

73def numeric_special(negative:Bool,infinite:Bool) -> Numeric:
74  match infinite:
75    case True{}: Infinity{negative}
76    case False{}: NaN{}