tie-boundedinteger