if ( /^\d+$/u and not /^\d+$/ ) {
    # need to normalize this non-ASCII digit string before doing arithmetic...
}