/check/type/addop/

• ../
• fail-int.p
• fail-real.p
• pass-int.p
• pass-real.p