We develop a higher semiadditive version of Grothendieck-Witt theory. We then apply the theory in the case of a finite field to study the higher semiadditive structure of the -local sphere at the prime , in particular realizing the non--adic rational element as a “semiadditive cardinality.” As a further application, we compute and clarify certain power operations in .