Triton has a nice section on type promotion. We currently only implement explicit casting using .astype. If/when we move to automatic promotion we should document it like the Triton folks. (We don't require manual broadcastTo so I guess we shouldn't require astype.)