added unary - and made changes to the physical-test
added a safe-integer with uniform type-behaviour and tests for it