syntax for Int('x y z'), nicer printing