fix satisfaction of existing int values