:: String -> Int is:exact -package:safe -package:base -package:Agda package:numeric-prelude

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.