digit_value
Description:
Example: Determine the character as a decimal digit:
public static int main (string[] args) {
	// Output: ``'0', '1', '2', '3', '4', '5', '6', '7', '8', '9', ``
	for (int i = 0; i <= 255; i++) {
		if (((char) i).digit_value () >= 0) {
			print ("'%c', ", (char) i);
		}
	}
	print ("\n");
	return 0;
}
    
    valac --pkg glib-2.0 char.digit_value.vala