/* See the documentation at the top of this file.  */
static void vFLOPCheck2(void *pvParameters)
/* See the documentation at the top of this file.  */
static void vFLOPCheck2(void *pvParameters)
{
volatile portFLOAT fVal1, fVal2, fResult;
	( void ) pvParameters;
	for( ;; )
	{
		fVal1 = ( portFLOAT ) -12340.5678;
		fVal2 = ( portFLOAT ) 23450.6789;
		fResult = fVal1 + fVal2;
		if( ( fResult > ( portFLOAT ) 11110.15 ) || ( fResult < ( portFLOAT ) 11110.05 ) )
		{
			mainLATCH_ERROR();
		}
		fResult = fVal1 / -fVal2;
		if( ( fResult > ( portFLOAT ) 0.53 ) || ( fResult < ( portFLOAT ) 0.51 ) )
		{
			mainLATCH_ERROR();
		}
	}
}