I see: starting with a decimal representation, he just removed some characters from the right to bring it into the range of regular Perl-supported arithmetic (something like 53 or 56 bit significance, if I recall).