make FuzzyNumbers more CRAN-friendly