Explicit type casts in mix