Implement float-to-integer.