I am beginner in python and I have a file with e.g data:
123.141212412 123124.5436456 13123.123546
I am trying to convert it to inteeger.