Need to specify how ties are rounded (toward zero, I think? - probably not the best choice - should round to even on tie, like floating point)