Closed kasperrisager closed 8 months ago
Allow integers, rationals, and reals, and do tie breaking.
Fixed by #13
Allow integers, rationals, and reals, and do tie breaking.