Testcase: use std; fn main() { let i = 5.0; std::io::println(#fmt("hello world %.4f!", i)); } This should print "hello world 5.0000!" but prints "hello world 5!"