IEEE-754 Float to int