How to convert float to integer?

Strangely (give vagaries of floats and equality testing across numeric types), this seems to work!