Numeric_std loading ...