ultradiscretizes