nit: do we really need a full int for this :) ?