Bug fix on extended integer pattern