New test: just a negative number
Removed necessity for IsUnaryMinusValidInCurrentContext (and some supporting code for that)