Char.to_integer_32 ?