Do we check for the `FLOAT` extension?