_ Builtin function, documented at i0/std.i line 1036
_neg_re Interpreted function, defined at i0/std.i line 614
_sqrt_x2p1m1 Interpreted function, defined at i0/std.i line 627