I think it should be limited to strictly sized types, e.g. `123u[32..62]` wouldn't work, you must use `123u64[32..62]`.