When teams have the same amount of points, decimal places will be added to their points to break the ties.
For example, three teams might end up with the following points:
In this case, the first decimal equals the total amount of matches won amongst the group of tied teams. In this case, the team with 12.2 points won all 2 matches against the other two teams.
After the first decimal, only 2 teams are still tied, so the process repeats.
The second decimal, equals the total amount matches won amongst the group of the two tied teams. In this case, the team with 12.11 won 1 match against the team with 12.10 points.
Since no tie remains, the process stops. If there was no change after any decimal, the next decimal would rank the teams by point differential (total points won minus total points lost).
This pattern repeats itself up to 4 decimal places.