php-integer-capacity-interface