I'm not sure if it's worth adding this to the standard library. Console.readIntreads an entire line and then converts it to int. Presumably, an example use is when a user is prompted to enter an integer on the console. It is also not encoded in a protective way, try entering a space after the number, for example'6 '
readChar , .
io.Source - char . , Console.read*, .
, , .