User blog comment:Primussupremus/Z-2304./@comment-5029411-20170226130127

Then it is equal to \(16*2^{E13\#4}\).