Don't treat unadorned 3 or 4-digit nums as 24-hour time: Bug #734750

Allowing for "1900" to be treated as 7pm meant things like street
numbers would be treated as time.