Remove detail::greatest_r and detail::.