Use Integers instead of Strings to sidestep any interning business