signed (fin 2^n) ?

Stream: Is there code for X?

[SnowFox]

Is there a signed variant of fin (2^n)?

[Johan Commelin]

bool \times fin (2 ^ n)?

[Bryan Gin-ge Chen]

In case you're trying to represent integers as bit strings, there's a bunch of stuff in data/num. See e.g. docs#snum

[SnowFox]

snum is exactly what I needed, thanks.

[SnowFox]

Actually it doesn't have the methods I need. For now I guess I'll just stick with all of int. Then maybe propose some additions to the module later.