bn_mul_high(glossar.html) - phpMan