Fixed spec bug and casting problem for unary negation.