[spec/builtin-printf] Specify that integer overflow is an error