Fixed type checking of comparison operators; only integers are comparable.