Support for "multiply high" instruction, see BN_UMULT_HIGH comment in