float2int(): don't just say "convert to int", do it!