s3:includes: simplify BIG_UINT macros