col.getDefaulttype() returns an int, not null.