diplomacy: round ResourceInt from Doubles

When dealing with frequencies, Double is a better, but in DTS we will need
to still represent this using an Int.  This helper makes it less painful.