( addnat = addreal || NAT & addnat = addint || NAT )