cast float to int again (thanks bibim\!)