да, Environment.TickCount выдаёт результат в целых милисекундах, а Diagnostics - в милисекундах с дробной частью.