926 fn gen_numerics_isle(isle: &mut Formatter, rust: &mut Formatter) {  in gen_numerics_isle()
927     fmtln!(rust, "#[macro_export]");  in gen_numerics_isle()
928     fmtln!(rust, "#[doc(hidden)]");  in gen_numerics_isle()
929     fmtln!(rust, "macro_rules! isle_numerics_methods {{");  in gen_numerics_isle()
930     rust.indent_push();  in gen_numerics_isle()
931     fmtln!(rust, "() => {{");  in gen_numerics_isle()
932     rust.indent_push();  in gen_numerics_isle()
955             fmtln!(rust, "#[inline]");  in gen_numerics_isle()
956             fmtln!(rust, "fn {op_name}(");  in gen_numerics_isle()
957             rust.indent(|rust| {  in gen_numerics_isle()
958                 fmtln!(rust, "&mut self,");  in gen_numerics_isle()
960                     fmtln!(rust, "{arg_name}: {arg_ty},");  in gen_numerics_isle()
963             fmtln!(rust, ") -> {ret} {{");  in gen_numerics_isle()
964             rust.indent(|rust| {  in gen_numerics_isle()
965                 fmtln!(rust, "{body}");  in gen_numerics_isle()
967             fmtln!(rust, "}}");  in gen_numerics_isle()
995                 fmtln!(rust, "#[inline]");  in gen_numerics_isle()
997                     rust,  in gen_numerics_isle()
1000                 rust.indent(|rust| {  in gen_numerics_isle()
1001                     fmtln!(rust, "Some({body})");  in gen_numerics_isle()
1003                 fmtln!(rust, "}}");  in gen_numerics_isle()
1025             rust.empty_line();  in gen_numerics_isle()
1099             fmtln!(rust, "#[inline]");  in gen_numerics_isle()
1101                 rust,  in gen_numerics_isle()
1104             rust.indent(|rust| {  in gen_numerics_isle()
1106                     fmtln!(rust, "{to_name}::try_from(x).ok()");  in gen_numerics_isle()
1108                     fmtln!(rust, "{to_name}::from(x)");  in gen_numerics_isle()
1111             fmtln!(rust, "}}");  in gen_numerics_isle()
1123                 fmtln!(rust, "#[inline]");  in gen_numerics_isle()
1125                     rust,  in gen_numerics_isle()
1128                 rust.indent(|rust| {  in gen_numerics_isle()
1129                     fmtln!(rust, "{to_name}::try_from(x).unwrap()");  in gen_numerics_isle()
1131                 fmtln!(rust, "}}");  in gen_numerics_isle()
1144                 fmtln!(rust, "#[inline]");  in gen_numerics_isle()
1146                     rust,  in gen_numerics_isle()
1149                 rust.indent(|rust| {  in gen_numerics_isle()
1150                     fmtln!(rust, "x as {to_name}");  in gen_numerics_isle()
1152                 fmtln!(rust, "}}");  in gen_numerics_isle()
1171                 fmtln!(rust, "#[inline]");  in gen_numerics_isle()
1173                     rust,  in gen_numerics_isle()
1176                 rust.indent(|rust| {  in gen_numerics_isle()
1179                     fmtln!(rust, "x as {to_name}");  in gen_numerics_isle()
1181                 fmtln!(rust, "}}");  in gen_numerics_isle()
1193             fmtln!(rust, "#[inline]");  in gen_numerics_isle()
1195                 rust,  in gen_numerics_isle()
1198             rust.indent(|rust| {  in gen_numerics_isle()
1200                     fmtln!(rust, "x.try_into().ok()");  in gen_numerics_isle()
1202                     fmtln!(rust, "Some(x.into())");  in gen_numerics_isle()
1205             fmtln!(rust, "}}");  in gen_numerics_isle()
1208             rust.empty_line();  in gen_numerics_isle()
1212     rust.indent_pop();  in gen_numerics_isle()
1213     fmtln!(rust, "}}");  in gen_numerics_isle()
1214     rust.indent_pop();  in gen_numerics_isle()
1215     fmtln!(rust, "}}");  in gen_numerics_isle()