Most types are tested for correct function with exec_binop.