Documentation for IronScheme
(rnrs unicode)
char-numeric?
(char-numeric? chr)