Sodium saccharin, a food additive