I'm looking for a way to convert Unicode UTF-32 (int) to lower case. In Java, something like this, would do the trick:
Character.toChars(Character.toLowerCase(Character.codePointAt(text, i)))
I have UTF-32 from Char.ConvertToUtf32, but there doesn't seem to be a way to lower case that value.
UPDATE: I'm dealing with a stream/array of chars, I've found the code points by looking for the hi surrogate, somewhat similar to the Java snipit above. Converting back and forth to String is going to be to inefficient.