TIOBot (0.0.6) logged in!

@connectyourcharger @RosLuP ^

@Adám 👍

Just to let you guys know, we're trying to kickstart (read: revive) a coding challenge Discord server I made some time ago. If you'd be interested in joining, let me know and I'll put an invite here :D

@Adám I think big should rather fail in this case: 10000000000000000000 ×big 1 ;-)

⎕←'10000000000000000000' ×big 1 ⊣ 'big'⎕CY'dfns'

@Adám
10000000000000000000

@lelf Numbers that would collapse to exponential format need to be quoted ^

Yes, I understand. Still surprising (and failing would be better than useless result)

@lelf Yeah, good point. The problem here is that it blindly does ⍕ to normalise, while it should expand the E. I hope to put dfns.dws on GitHub soon so people can PR.

@lelf I think that if you replace every instance of ⍕ with {2|⎕DR ⍵:1↓'_'⎕R'0'⊢0⍕⍵ ⋄ ⍵} it fixes the issue.

@Adám 10000000000 ÷big 2. Was VALUE ERROR: Undefined name: E; now DOMAIN ERROR. But I'm a complete noob, so maybe I’m doing something wrong :)

@lelf Yeah, looks like my fix didn't work. If you use quotes with the original big it does work.

@lelf OK, I think I have a better fix now. Replace the last three lines of big with:

     norm←{2|⎕DR ⍵:1↓'_'⎕R'0'⊢0⍕⍵ ⋄ ⍵}
     0=⎕NC'⍺':⍺⍺ monadic norm ⍵ ⋄ (norm ⍺)⍺⍺ dyadic norm ⍵
 }

👍