Election system priority for Senate Republicans in fall, but not in budget