Change integer fallback RFC to suggest `i32` instead of `int` as the fallback