Update core test for uint64 divide problem