Thanks Roel. If there is a way to pass in the PRESERVE_PRECISION constant in the python time.clock library, that would be great. But I'm afraid it's not possible. I think I will change away from using time.clock() from now on... seems too edgy to me.
Thank you for sharing your experience with me nonetheless. Cheers mate. -- http://mail.python.org/mailman/listinfo/python-list