He probably got a decimal number and didn't know what to do with it.
Just dividing doesn't format it as time.

In article ,
"Bob Phillips" wrote:

which is what I said