Is time really continuous in this case? I have absolutely no idea how it's implemented in practice, but would assume that stock exchange computers use some sort

Is time really continuous in this case? I have absolutely no idea how it's implemented in practice, but would assume that stock exchange computers use some sort of game loop at a consistent rate.