This fixes #7533.  The SQL server tables have been upgraded to doubles instead of floats.