concrete int types