Redirecting to
macro.to_json_impl_u64.html
...