JADE allows creating pages like Judgment:Diff/0742 or Judgment:Revision/001 alongside of Judgment:Diff/742/Judgment:Revision/1.
For sure—there's validation in place to mostly do that, but this bug shows that we're missing a clause like:
assert str(int(x)) == x
We probably allow "12345.0" as well, at the moment.
Another goal of our validation is to guarantee that a judgment of any given entity has exactly one, predictable, URL.