Also, aren't the types incorrect? Glancing over their docs, Int represents a signed integer. A negative input shouldn't be allowed, nor can you guarantee that your output fits in an int. Now I'm slightly curious as to how they handle overflows. Maybe they do runtime checks?

Conflating of data types with storage types is a surprisingly common occurrence, although I can appreciate it's largely due to pragmatism.