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

Which means it is equals to 2^((E13#4)+4), right?