I do not see any logical connection between platform-dependence of mangle and returning value of `.mangleof`
Yes,  `Symbol.mangleof` can be different in different platforms for same `Symbol`.
`real.epsilon` can be different in different platforms. 
Why not?