etree should use integers, not floating point

A thinko on my part in the previous version.  I confused `Tv` and `Ti`.
Merge pull request #6636 from JuliaLang/db/etree

etree should use integers, not floating point