Pls do **not** re-add this Type2Type cast. Remove `(math::Int<Zone::dim>)` pls.