Ada for example, performs all its own real arithmetic because Ada specifies constraints on precision that aren't documented for GCC's tree-nodes. No, that's true only for constants.