Fix for #597, negative int default value

superseeds #613