Out of curiosity at what point are Rankings rounded/truncated?  Or do they always round down?

I just finished a game of Duck Hunt and my score was 1284 and his was 1000, I won so the calculation is 1000/1284 (= 0.778816199376947) * 20 = 15.57632398753894.  The ranking change both in the win window and the actually ranking was 15 so it rounds down somewhere (somewhere that is above 5).

I'm sure I've benefited from rounding before, so more of just a check to ensure this is OK and intended and to know that it does in fact always round down or truncate at some point.

Thanks!

It should always round down when it comes to ranking score deltas - if you find somewhere this isn't happening let me know.

So a 15.99999999999 would still be a 15, correct?

Yep!