cast float to int again (thanks bibim!)