Explicitly define float-to-int conversion algorithm