Raised by @jrprice

Consider:

  var a: array<i32, u32(4000000000)>;

The programmer is trying to make a u32 without using a suffix. But under current rules the 4000000000 default-converts to i32 which errors out because it's out of bounds.

So the proposal is to add scalar and vector constructors from abstract numeric argument types.