Grothendieck–Witt ring