Formally real field