asInt's fold version