User blog comment:Jefleo/2^(2^63)/@comment-29915175-20170516060022

Those aren't uncomputable...