IfxcmpgeReductionTest/UInt64ReductionTest.Reduction/25 (from IfxcmpgeReductionTest_UInt64ReductionTest)