After extensive discussions on the mailing list, change to (3.5 / 4) instead of (3.5-0.5). Also change variable name win_count to points_won for greater clarity.