Curious code in `math.janet`

[sogaiu]

I noticed this line, this line, and these lines in math.janet:

  (def one (+ (- n n) 1))

  (def zero (- n n))

  (var d (- n 1))
  (def one (- n d))

Are these special optimization tricks @primo-ppcg?

[primo-ppcg]

Yes, these eliminate the need for polymorphic comparators, because one and n are of the same type.

[sogaiu]

Thanks for the explanation!

[primo-ppcg]

I suppose dynamic coercion might also be something of a lexical gap.

(def one (coerce 1 (type n)))

The intent would be a lot more clear.