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