Redirecting to
macro.into_diagnostic_arg_for_number.html
...