add second test to checkNums_spec