:: String -> Int -package:hledger-lib -package:speculate -package:locators -package:Agda package:numeric-prelude -is:exact

Convert to an Int. It is implementation-dependent what fromEnum returns when applied to a value that is too large to fit in an Int.