added auto conversion between Character and Integer