sql: floating point precision passed through