Add symbols, remove floating point IO support