adding specs for negative integers