Prompted by #1845.  I'm not entirely sure whether some literals like
"1.00 " should be accepted but that's the current behaviour.