No particular version, as we would implement this incrementally. Some very narrow use of tagged ints might happen in 3.14.