Add incomplete test and implementation for disallowing negatives