"00123" }
{ $example
"USING: formatting ;"
- "HEX: ff \"%04X\" printf"
+ "0xff \"%04X\" printf"
"00FF" }
{ $example
"USING: formatting ;"
"1.23456789 \"%.3f\" printf"
"1.235" }
- { $example
- "USING: formatting ;"
- "1234567890 \"%.5e\" printf"
- "1.23457e+09" }
{ $example
"USING: formatting ;"
"12 \"%'#4d\" printf"