/*
Fails with typecheck error in default settings 
*/
void main()
{
double x = 0.0 ; 
int  i = (double )x <= (3.2 + 0.1) + 0.1;
}