update method to get binop to distinguish negative and positive zero