Renders real ensuring the result contains a decimal point, appending .0 if real's own toString would otherwise look like an integer (e.g. 1 becomes 1.0).
.0
1
1.0