Added some doc, changed inconsistent overflow behavior to well-defined behavior
More TPUID tests - mostly complete coverage