[css3-transitions] Where does SMIL/SVG Animation define interpolation of integers?

The CSS WG resolved today to change the integer interpolation rules
css3-transitions to match SMIL / SVG Animation and use round rather
than floor.

However, I'd like to know where in SMIL or SVG Animation the
rounding rules for integers are defined so I know exactly what sort
of rounding to define.  (In particular, whether *.5 values round
away from zero, towards zero, towards positive infinity, or towards
negative infinity.)  I searched some relevant specs, but couldn't
find the definition.

-David

-- 
𝄞   L. David Baron                         http://dbaron.org/   𝄂
𝄢   Mozilla                           http://www.mozilla.org/   𝄂