add Knuth multiplication comparison