Fix decimal points in contest total score

judge/migrations/0111_contest_decimal_points.py

@@ -0,0 +1,24 @@
+# Generated by Django 2.2.12 on 2020-10-26 19:51
+
+import django.core.validators
+from django.db import migrations, models
+
+
+class Migration(migrations.Migration):
+
+    dependencies = [
+        ('judge', '0110_notification_author'),
+    ]
+
+    operations = [
+        migrations.AddField(
+            model_name='contest',
+            name='points_precision',
+            field=models.IntegerField(default=2, help_text='Number of digits to round points to.', validators=[django.core.validators.MinValueValidator(0), django.core.validators.MaxValueValidator(10)], verbose_name='precision points'),
+        ),
+        migrations.AlterField(
+            model_name='contestparticipation',
+            name='score',
+            field=models.FloatField(db_index=True, default=0, verbose_name='score'),
+        ),
+    ]