Add abs_impl()