I’m trying to set div_precision_increment on memsql, but seems to have no effect.  I have globally set div_precision_increment = 12 on the aggregator and all leaf nodes, but it does not update my results.
memsql> select @@gloabl.div_precision_increment;
+-----------------------------------+
| @@global.div_precision_increment |
+-----------------------------------+
|                                 4 |
+-----------------------------------+
1 row in set (0.03 sec)
memsql> select 1/7;
+--------+
| 1/7    |
+--------+
| 0.1429 |
+--------+
1 row in set (0.03 sec)
.... update aggregator and leaf nodes and confirm the update...
+-----------------------------------+
| @@global.div_precision_increment |
+-----------------------------------+
|                                12 |
+-----------------------------------+
1 row in set (0.04 sec)
memsql> select 1/7;
+--------+
| 1/7    |
+--------+
| 0.1429 |
+--------+
1 row in set (0.03 sec)
but my result remain unchanged.  On plain old vanilla mysql, I update the setting and get the results I’d expect:
SET div_precision_increment = 12;
SELECT 1/7; results in  --> 0.142857142857
Is this not available in MemSQL or am I just doing something wrong?