Looks like it's using a custom Version subclass - it's outside the diff, but look further up in the formula.