Wallis algorithm in C+-