Cult Objective Hotfix

From what people have reported in issues num_players() seems to be always returning 1. This fixes that as well as rounding the number so it is an integer.

Also fixes the duplicate proc in autotraitor.