php 判断操作系统位数

/** * 判断操作系统位数 */function is_64bit() {    $int = "9223372036854775807";    $int = intval($int);    if ($int == 9223372036854775807) {        /* 64bit */        return true;    }    elseif ($int == 2147483647) {        /* 32bit */        return false;    }    else {        /* error */        return "error";    }}