# This is a decimal.
<s> <p> 123.0 .