Well.. why wouldn't he just do [ws|s]printf("%d",(int)1.999999);