/* macro for checking if a thread has used floating-point */