Anyhow, I think it’s bug when we have cast errors. The times I’ve investigated it, it’s been platform skew. We should fix them.