$num = 1.44115188075868217e17;
print int($num);
__END__
144115188075868224