# The rank of the
	# This attribute is used to force a total order for POSet#compare
	private var count: Int