php - Php redis extended interger overflow

Question

why? I guess is overflow,but i can't fix it.

<?php
/*redis*/
$redis = new Redis();
$redis->connect('127.0.0.1');
$res = $redis->eval('return   32140378*16777216');
var_dump($res);
exit;
//result：1509949440
//right：539226064027648

Answer 1

我自己修好了，更多细节：https ://github.com/phpredis/phpredis/pull/721