Libraries anvil sql FLOAT