It's probably fair to say that it's a probabilistic language, given that you might not always get the correct result (e.g. if you multiply two large integers).