clean up C API for numResults being a uint64_t when it is only possible to specify uint32_t of nResults