stream.hds: Avoid rounding when scaling timestamps on Python 2.