$ 0 0 For ARM only, you need to use two dollar signs:.float $$cos(0.5)I'll make sure the documentation gets fixed.