Elementary_function_arithmetic loading ...