Add specs for positive signed numbers.