hack for float--> int conversion