1.32: timedot no longer accepts numeric quantities beginning with a decimal point

[simonmichael]

2023-01-01
a  0.25

Since 1.32, the 0 is required before the decimal point above; it shouldn't be.