FLOAT > DECIMAL for sqlite-simple