SERVER-16096: Fix UINT64_MAX build issue