Add tests for the FLOAT stack and make them pass