0; } /** * Converts arbitrary-length integer to PHP integer. * * @param string $a * * @return int */ public function intval($a) { return \gmp_intval($a); } /** * Converts arbitrary-length integer to PHP string. * * @param string $a * * @return string */ public function strval($a) { return \gmp_strval($a); } /** * Converts PHP integer to arbitrary-length integer. * * @param int $a * * @return string */ public function get($a) { return \gmp_init($a); } }