12D15 Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) [See also 11Exx] 815