highUInt32        162 Source/platform/Decimal.cpp     dividend[1] = highUInt32(m_low);
highUInt32        164 Source/platform/Decimal.cpp     dividend[3] = highUInt32(m_high);
highUInt32        182 Source/platform/Decimal.cpp     const uint64_t uHigh = highUInt32(u);
highUInt32        184 Source/platform/Decimal.cpp     const uint64_t vHigh = highUInt32(v);
highUInt32        185 Source/platform/Decimal.cpp     const uint64_t partialProduct = uHigh * vLow + highUInt32(uLow * vLow);
highUInt32        186 Source/platform/Decimal.cpp     return uHigh * vHigh + highUInt32(partialProduct) + highUInt32(uLow * vHigh + lowUInt32(partialProduct));