Tools to deal with fuzzy numbers
