[ABI] Fix mangling of real values in templates