sql: use mantissa for float precision, not bitlength