In this case I'll need to convert those values to float anyway.
Why?
Anyway, I guess that the best solution would be to add a cast operator to the System.Time class, rather than overloading the arguments to time() even more.
/ Per Hedbor ()
Previous text:
2003-09-14 19:29: Subject: Re: time() and optimization again
On Sun, Sep 14, 2003 at 12:25:01PM -0400, Per Hedbor () @ Pike (-) developers forum wrote:
Try System.Time() (or, if you want relative times, System.Timer())
In this case I'll need to convert those values to float anyway. Or use bignums. That's workaround but nothing more - and problem with floats remains...
Regards, /Al
/ Brevbäraren