Can't we just do (knowing that integer division will round to the lowest integer) 

```scala
def timeMs: Long = value / 10000
```