Smaller default type size