php-big_int is a stub port
