symbol manipulation in transformers is fp arithmetic?