Dynamically type-check second argument of +-*/.