log tests/sqlprecision.urs

age author description
2013-12-03 Adam Chlipala Increase precision for rendering floats to SQL