>>522
ITimerで満足できないと他に手段がないような…
Windows上ではWinAPIのメディアタイマーを使って、理論上は高精度な時間を取得してるよ

IrrlichtDevice *irrdevice;
u32 milliseconds;

irrdevice = CreateDevice(...);
milliseconds = IrrlichtDevice->getTimer->getRealTime();

>>526の言うように1000.0で割れば1秒未満は小数点以下になるのだが