C++ Proposal: string_view to number conversions