Formally real Jordan algebra