#3682: output attributes of integer array types don't work