Bug: TypeNameExtender returned "Int32" instead of "int"