division_by_zero_in_dimension_expr.nbt 26 B

1
  1. fn f(x: Length^(2/0)) = 1