change the type of Unicode constants to Int