Fix invalid conversion of large ints to floats on ARM