started testing shrink methods, found the NaN-causing bug.