It can only print a decimal literal. But still, that's a big step because I hadn't implemented decimal formatting yet.