User blog comment:B1mb0w/The Quantum Function/@comment-35470197-20180926050834/@comment-10262436-20181001100410

PS. the first two examples you gave are defined because of the leading zero assumption. Refer to my Notation Explained blog.

Q(0_[z+1],n) = Q(n)

t_d(0_[y+1],1) = t_d(1)