Char.to_integer ?