diff -r e251cceec547 -r 9646123ea063 www/js/prod_divide.js
--- a/www/js/prod_divide.js	Fri Aug 14 11:38:58 2020 +0200
+++ b/www/js/prod_divide.js	Wed Aug 19 17:13:24 2020 +0200
@@ -186,7 +186,7 @@
    { name: 'st_letter', type: 'string' },
    { name: 'st_guide', type: 'string' },
    { name: 'st_category', type: 'string' },
-   { name: 'st_category_number', type: 'float' },
+   { name: 'st_category_number', type: 'int' },
    { name: 'st_type', type: 'int' },
    { name: 'st_og_min', type: 'float' },
    { name: 'st_og_max', type: 'float' },