FIXED: Typecheck for negative integers did not work.