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