Trees need to be integerized too