nostr:npub1srhg4hk63ew68kepu0znazgf9tdl089dkur5artp440htxqrc8zsqz8g90 yeah thats what i figured but i hope theyd just make it same as INT_MAX, theres no reason to pick 0x7FFF specifically to the best of my knowledge