If we are sure 2**31-1 works on all the systems we are targeting, then we should use that (I just wasn't 100% sure about win32, and I don't have an installation to test it on). =)