Stop using "Int" for microsecond delays in "base"

[Johan Tibell]

On Wed, Mar 30, 2011 at 8:28 PM, Max Bolingbroke
<batterseapower at hotmail.com> wrote:
> On 30 March 2011 19:00, Johan Tibell <johan.tibell at gmail.com> wrote:
>> Yes. Integer is terrible for performance.
>
> But in this case it's unlikely to make a difference because the whole
> point of threadDelay is to slow the program down, so who cares if we
> deref one more pointer :-)

Sure. In this particular case.

What do we do if the user passes some humongous number to threadDelay?
The underlying syscall doesn't support it, so I guess we would have to
call that syscall repeatedly.